Booledozer: Logic Synthesis for Asks
نویسندگان
چکیده
Logic synthesis is the process of automatically generating optimized logic-level representation from a high-level description. With the rapid advances in integrated circuit technology and the resultant growth in design complexity, designers increasingly rely on logic synthesis to shorten the design time while achieving performance objectives. This paper describes the IBM logic synthesis system BooleDozer", including its organization, main algorithms, and how it fits into the design process. The BooleDozer logic synthesis system has been widely used within IBM to successfully synthesize processor and ASIC designs.
منابع مشابه
BooleDozer: Logic synthesis for ASICs
Logic synthesis is the process of automatically generating optimized logic level representation from a high-level description. With the rapid advances in integrated circuit technology and the resultant growth in design complexity, designers increasingly rely on logic synthesis to shorten the design time, while achieving performance objectives. This paper describes the IBM logic synthesis system...
متن کاملHigh-level synthesis in an industrial environment
ion levels, ranging from behavioral to structural. HIS contains general algorithms for scheduling and allocation which can handle behavioral, sequential, concurrent, and structural constructs, and user-defined constraints. Different algorithms, specially tuned to the abstraction level of the description, are used in order to synthesize designs efficiently for execution time and memory usage. Th...
متن کاملA Curry-Howard Approach to Church's Synthesis
Church’s synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Order Logic over infinite words, Church’s synthesis can theoretically be solved algorithmically using automata and games. We revisit Church’s synthesis via the Curry-Howard correspondence by introducing SMSO, a non-clas...
متن کاملBu er Minimization in Pass Transistor Logic
With the shrinking feature sizes and increasing transistor counts on chips, the push for higher speed and lower power makes it necessary to look for alternative design styles which o er better performance characteristics than static CMOS. Among them, pass transistor logic (PTL) circuits give great promise. Since the delay in a pass-transistor chain is quadratically proportional to the number of...
متن کاملBuuer Minimization in Pass Transistor Logic
Since the technical limits of existing circuit families, such as static CMOS, alternative circuit families are pursued for the development of chips that can operate at speeds signiicantly above 500 MHz. Among them, pass transistor logic (PTL) circuits ooer great promise. Since the delay in a pass-transistor chain is quadratically proportional to its length, and a signal may degenerate when pass...
متن کامل